primitive recursive attribute

[数] 原始递归属性